dc4bd023c326f1e8a62473551573e12db3145550,findbugs/src/java/edu/umd/cs/findbugs/ba/ResourceValueAnalysis.java,ResourceValueAnalysis,meetInto,#ResourceValueFrame#Edge#ResourceValueFrame#,50
Before Change
// Clear stack, push value for exception
if (fact.isValid()) {
tmpFact = createFact();
tmpFact.copyFrom(fact);
tmpFact.clearStack();
tmpFact.pushValue(ResourceValue.notInstance());
}
After Change
if ((lastInSource instanceof IFNULL && edgeType == IFCMP_EDGE) ||
(lastInSource instanceof IFNONNULL && edgeType == FALL_THROUGH_EDGE)) {
//System.out.println("**** making resource nonexistent on edge "+edge.getId());
tmpFact = modifyFrame(fact, tmpFact);
tmpFact.setStatus(ResourceValueFrame.NONEXISTENT);
}
}